A semi-completeness theorem.
نویسندگان
چکیده
منابع مشابه
A topological completeness theorem
We prove a topological completeness theorem for innnitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected.
متن کاملA General NP Completeness Theorem
A detailed model of a random access computation over an ab stract domain is presented and the existence of an NP complete problem is proven under broad conditions which unify Cook s theorem and recent results in the real number model by Blum Shub and Smale
متن کاملPost's Functional Completeness Theorem
The paper provides a new proof, in a style accessible to modern logicians and teachers of elementary logic, of Post's Functional Completeness Theorem. Post's Theorem states the necessary and sufficient conditions for an arbitrary set of (2-valued) truth functional connectives to be expressively complete, that is, to be able to express every (2-valued) truth function or truth table. The theorem ...
متن کاملPost's Functional Completeness Theorem
The paper provides a new proof, in a style accessible to modern logicians and teachers of elementary logic, of Post's Functional Completeness Theorem. Post's Theorem states the necessary and sufficient conditions for an arbitrary set of (2-valued) truth functional connectives to be expressively complete, that is, to be able to express every (2-valued) truth function or truth table. The theorem ...
متن کاملA Completeness Theorem for "Total Boolean Functions"
In [3], Christine Tasson introduces an algebraic notion of totality for a denotational model of linear logic. The notion of total boolean function is, in a way, quite intuitive. This note provides a positive answer to the question of completeness of the " boolean centroidal calculus " w.r.t. total boolean functions. 0. Introduction. Even though the question answered in this note has its roots i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1969
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093893720